    r2 = *(u32*)(r1 + 8)
